Определение:
Диаметром множества будем называть $\text{diam } A = \sup\limits_{x,y \in A} \rho(x, y)$.